$\forall$${\it ds}$:$x$:Id fp$\rightarrow$ Type, ${\it da}$:$k$:Knd fp$\rightarrow$ Type, $x$:ecl(${\it ds}$;${\it da}$).
\\[0ex]ecl{-}kinds($x$) $=$ ecl{-}trans{-}ks(ecl{-}trans($x$)) $\in$ Knd List